System $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$\{$M$:(Id$\rightarrow$MsgA)$\mid$ $\forall$${\it loc}$:Id. Feasible($M$(${\it loc}$)) \}